On Model Checking of a Robotic Mechanism
نویسندگان
چکیده
منابع مشابه
a study on insurer solvency by panel data model: the case of iranian insurance market
the aim of this thesis is an approach for assessing insurer’s solvency for iranian insurance companies. we use of economic data with both time series and cross-sectional variation, thus by using the panel data model will survey the insurer solvency.
Model Checking of Robotic Control Systems
Reliable software is important for robotic applications. We propose a new method for the verification of control software based on Java PathFinder, a discrete model checker developed at NASA Ames Research Center. Our extension of Java PathFinder supports modeling of a realtime scheduler and a physical system, defined in terms of differential equations. This approach not only is able to detect p...
متن کاملModel Checking for Robotic Guided Surgery
This paper describes a model checking approach for robotic guided surgical interventions. The execution plan is modeled with a workflow editor as a petri net. The net is then analyzed for correct structure and syntax with XMLSchema. Petri nets allow checking for specific constraints, like soundness. Still the possibility to prove the net with runtime variables is missing. For this reason model ...
متن کاملDesign, Evaluation and Prototyping of a New Robotic Mechanism for Ultrasound Imaging
This paper presents a new robotic mechanism for ultrasound imaging. The device is placed on a patient's body by an operator, and an ultrasound expert controls the motions of the device to obtain ultrasound images. The paper focuses on the robotic mechanism that performs ultrasound imaging. The design of the mechanism is based on two approaches to produce center of motion for an ultrasound probe...
متن کاملinvestigating the feasibility of a proposed model for geometric design of deployable arch structures
deployable scissor type structures are composed of the so-called scissor-like elements (sles), which are connected to each other at an intermediate point through a pivotal connection and allow them to be folded into a compact bundle for storage or transport. several sles are connected to each other in order to form units with regular polygonal plan views. the sides and radii of the polygons are...
ذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Robotics and Automation
سال: 2020
ISSN: 2642-4312
DOI: 10.36959/673/366